write-restricted(R;i;k)
== case R of 
== Rnone => false
== Rplus(left,right)=>rec1,rec2.rec1  rec2
== Rinit(loc,T,x,v)=> false
== Rframe(loc,T,x,L)=> false
== Rsframe(lnk,tag,L)=> false
== Reffect(loc,ds,knd,T,x,f)=> false
== Rsends(ds,knd,T,l,dt,g)=> false
== Rpre(loc,ds,a,T,P)=> false
== Raframe(loc,k1,L)=> loc = i  k1 = k
== Rbframe(loc,k1,L)=> false
== Rrframe(loc,x,L)=> false 

latex

Definitions	es realizer ind, p  q, p  q, a = b, a = b, false
FDL editor aliases	write-restricted